Llistar TÃtols
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
|   | 1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc | 
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
|   | 1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc | 

Solució de problemes Problem solving SAT Backjumping Universitat de Girona Problema de satisfactibilitat booleana Clause learning

Universitat de Girona. Escola Politècnica Superior Cané Salamià , Marc Villaret Auselle, Mateu Coll, Jordi